Sofiène Tahar: mencari di situs web Z-Library

Akses gratis ke pengetahuan dan budaya.

Don't use scam websites

Diterapkan filter

Pencocokan lengkap

Pencocokan lengkap

Buku (8)
Yang paling populer
Daftar
- Daftar
- Tabel

1

Formalized Probability Theory and Applications Using Theorem Proving

Formalized Probability Theory and Applications Using Theorem Proving

Osman Hasan, Sofiène Tahar

Tahun:

2015

Bahasa:

english

File:

PDF, 3.76 MB

0 / 0

english, 2015

2

Theorem Proving in Higher Order Logics: 15th International Conference, TPHOLs 2002 Hampton, VA, USA, August 20–23, 2002 Proceedings

Theorem Proving in Higher Order Logics: 15th International Conference, TPHOLs 2002 Hampton, VA, USA, August 20–23, 2002 Proceedings

Springer-Verlag Berlin Heidelberg

Ricky Butler (auth.), Victor A. Carreño, César A. Muñoz, Sofiène Tahar (eds.)

Tahun:

2002

Bahasa:

english

File:

PDF, 4.88 MB

0 / 0

english, 2002

3

Theorem Proving in Higher Order Logics: 17th International Conference, TPHOLs 2004, Park City, Utah, USA, September 14-17, 2004. Proceedings

Theorem Proving in Higher Order Logics: 17th International Conference, TPHOLs 2004, Park City, Utah, USA, September 14-17, 2004. Proceedings

Springer-Verlag Berlin Heidelberg

Behzad Akbarpour, Sofiène Tahar (auth.), Konrad Slind, Annette Bunker, Ganesh Gopalakrishnan (eds.)

Tahun:

2004

Bahasa:

english

File:

PDF, 7.03 MB

0 / 0

english, 2004

4

Theorem Proving in Higher Order Logics: 21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008. Proceedings

Theorem Proving in Higher Order Logics: 21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008. Proceedings

Springer-Verlag Berlin Heidelberg

Mike Gordon (auth.), Otmane Ait Mohamed, César Muñoz, Sofiène Tahar (eds.)

Tahun:

2008

Bahasa:

english

File:

PDF, 2.81 MB

0 / 0

english, 2008

5

Lecture Notes in Computer Science 10466

Lecture Notes in Computer Science 10466

Springer International Publishing

Barkaoui, Kamel, Boucheneb, Hanifa, Mili, Ali, Tahar, Sofiène

Tahun:

2017

Bahasa:

english

File:

PDF, 14.49 MB

0 / 0

english, 2017

6

Theorem Proving in Higher Order Logics: 15th International Conference, TPHOLs 2002 Hampton, VA, USA, August 20–23, 2002 Proceedings

Theorem Proving in Higher Order Logics: 15th International Conference, TPHOLs 2002 Hampton, VA, USA, August 20–23, 2002 Proceedings

Springer-Verlag Berlin Heidelberg

Ricky Butler (auth.), Victor A. Carreño, César A. Muñoz, Sofiène Tahar (eds.)

Tahun:

2002

Bahasa:

english

File:

PDF, 2.49 MB

0 / 0

english, 2002

7

Theorem Proving in Higher Order Logics: 17th International Conference, TPHOLs 2004, Park City, Utah, USA, September 14-17, 2004. Proceedings

Theorem Proving in Higher Order Logics: 17th International Conference, TPHOLs 2004, Park City, Utah, USA, September 14-17, 2004. Proceedings

Springer-Verlag Berlin Heidelberg

Behzad Akbarpour, Sofiène Tahar (auth.), Konrad Slind, Annette Bunker, Ganesh Gopalakrishnan (eds.)

Tahun:

2004

Bahasa:

english

File:

PDF, 4.64 MB

0 / 0

english, 2004

8

Theorem Proving in Higher Order Logics: 21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008. Proceedings

Theorem Proving in Higher Order Logics: 21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008. Proceedings

Springer-Verlag Berlin Heidelberg

Mike Gordon (auth.), Otmane Ait Mohamed, César Muñoz, Sofiène Tahar (eds.)

Tahun:

2008

Bahasa:

english

File:

PDF, 5.12 MB

0 / 0

english, 2008